1. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. A Concise Introduction to Mathematical Logic
پدیدآورنده : by Wolfgang Rautenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
3. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده : James, Oluwale Stephen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : English as a second language--ESL
4. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده : James, Oluwale Stephen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : English as a second language--ESL
5. A Java library of graph algorithms and optimization
پدیدآورنده : / Hang T. Lau
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Java (Computer program language),Computer algorithms.,Combinatorial optimization.
رده :
QA76
.
73
.
J38
,
L362
2007
6. A Unified approach to interior point algorithms for linear complementarity problems
پدیدآورنده : M. Kojima ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Programming )Mathematics(,، Linear programming
رده :
QA
76
.
L4
v
.
538
7. A Unified approach to interior point algorithms for linear complementarity problems
پدیدآورنده : M. Kojima...]et al.[
کتابخانه: (طهران)
موضوع : ، Programming )Mathematics(,، Linear programming
رده :
QA
76
.
L28
Vol
.
538
8. A collection of test problems for constrainded global optimization algorithms
پدیدآورنده : Floudas, Christodoules A.
کتابخانه: (طهران)
موضوع : Engineering mathematics , Mathematical optimization , Nonlinear programming , Algorithms
رده :
TA
331
.
F58
1990
9. A collection of test problems for constrained global optimization algorithms
پدیدآورنده : Floudas, Christodoulos A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Engineering mathematics,، Mathematical optimization,، Nonlinear programming,، Algorithms
رده :
TA
331
.
F58
1990
10. A collection of test problems for constrained global optimization algorithms
پدیدآورنده : / Christodoulos A. Floudas, Panos M. Pardalos
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering mathematics,Mathematical optimization,Nonlinear programming,Algorithms
رده :
E-BOOK
11. A collection of test problems for constrained global optimization algorithms
پدیدآورنده : Floudas, Christodoulas A.
کتابخانه: (طهران)
موضوع : ، Engineering mathematics,، Mathematical optimization,، Nonlinear programming,، Algorithms
رده :
QA
76
.
L28
Vol
.
455
12. A course in convexity /
پدیدآورنده : Alexander Barvinok
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)
رده :
QA639
.
5
.
B37
2002
13. A course in convexity /
پدیدآورنده : Alexander Barvinok
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)
رده :
QA639
.
5
.
B37
2002
14. A course in error-correcting codes /
پدیدآورنده : Jørn Justesen, Tom Høholdt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Error-correcting codes (Information theory),COMPUTERS-- Machine Theory.,Error-correcting codes (Information theory)
رده :
QA268
15. A course of pure mathematics
پدیدآورنده : by G.H. Hardy William E. Conley
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Calculus,Functions,BASIC (Computer program language),BASIC (Computer program language),Programming (Computers),Computers
رده :
QA
،
303
،.
H24
،
1992
16. A primer on scientific programming with Python /
پدیدآورنده : Hans Petter Langtangen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
رده :
QA76
.
73
.
P98
17. A primer on scientific programming with Python /
پدیدآورنده : Hans Petter Langtangen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming (Mathematics),Python (Computer program language),Scripting languages (Computer science),Programming (Mathematics),Python (Computer program language),Science.,Scripting languages (Computer science)
رده :
QA76
.
73
.
P98
L36
2016
18. A programmer's introduction to mathematics /
پدیدآورنده : Jeremy Kun.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
K86
2018
19. A relational theory of computing
پدیدآورنده : Sanderson, John G., 9291-
کتابخانه: (طهران)
موضوع : ، Computer programming,، Mathematics
رده :
QA
76
.
L28
Vol
.
82
20. A student's guide to the study, practice, and tools of modern mathematic
پدیدآورنده : / Donald Bindner, Martin Erickson
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics--Computer network resources,Mathematics--Data processing,Electonic books
رده :
QA41
.
6
.
B56
2011
